前向き連鎖(Forward Chaining)と後向き連鎖(Backward chaining)
https://ja.wikipedia.org/wiki/前向き連鎖
https://ja.wikipedia.org/wiki/後向き連鎖
#推論